#menu {
	color: white;
	height: 70px;
	background-image: url("#{resource['images:background.png']}");
	border-bottom-width: 2px;
	border-bottom-style: groove;
	border-bottom-color: white;
}

.user_program,.user_tickets,.user_change_password,.user_exit {
	color: white;
	font-size: 15px;
	text-decoration: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}

.user_program_icon,.user_tickets_icon,.user_change_password_icon,.user_exit_icon
	{
	padding-left: 50px;
	padding-right: 5px;
}